12.76/13.79	unsat
