5.77/5.87	unsat
