12.89/17.89	unsat
