5.79/6.62	unsat
