4.89/7.42	unsat
