4.77/6.23	unsat
