12.68/16.45	unsat
