4.50/6.01	unsat
