5.33/5.77	unsat
