12.89/13.72	unsat
