3.97/6.13	unsat
