12.76/13.03	unsat
