3.97/6.23	unsat
