5.18/7.01	unsat
