4.77/7.23	unsat
