4.87/5.79	unsat
