12.52/14.07	unsat
