392.73/423.19	unsat
