16.46/16.54	unsat
