5.76/5.77	unsat
