5.79/6.13	unsat
