149.26/149.84	unsat
