8.27/10.01	unsat
