15.25/19.96	unsat
