12.89/14.47	unsat
