168.67/174.86	unsat
