12.85/12.96	unsat
