10.25/10.39	unsat
