12.89/13.37	unsat
