13.06/13.32	unsat
