12.88/14.96	unsat
