4.68/7.56	unsat
