12.78/15.73	unsat
