4.96/6.30	unsat
