169.03/172.39	unsat
