148.96/149.10	unsat
