11.57/13.03	unsat
