11.96/14.08	unsat
