5.79/5.89	unsat
