4.77/6.24	unsat
