14.87/14.96	unsat
