8.87/11.79	unsat
