8.43/8.77	unsat
