147.15/148.19	unsat
