192.46/195.04	unsat
