5.48/5.79	unsat
