16.90/27.83	unsat
