147.77/149.33	unsat
