8.77/11.04	unsat
