14.85/14.96	unsat
