389.12/392.72	unsat
