11.64/13.03	unsat
