15.23/15.96	unsat
