134.48/134.52	unsat
