4.18/5.01	unsat
