5.79/6.50	unsat
