193.18/195.34	unsat
