12.36/16.07	unsat
