16.27/16.34	unsat
