9.77/13.73	unsat
