12.87/13.74	unsat
