4.89/6.42	unsat
