134.67/134.92	unsat
