12.87/14.73	unsat
