11.05/11.94	unsat
