195.92/196.33	unsat
