12.76/13.32	unsat
