18.43/27.67	unsat
