13.46/16.48	unsat
