12.71/12.96	unsat
