5.09/6.01	unsat
