4.87/5.18	unsat
