12.47/14.94	unsat
