5.92/6.03	unsat
