4.87/6.03	unsat
