12.93/14.49	unsat
