8.87/11.29	unsat
