12.88/17.96	unsat
