5.69/5.79	unsat
