392.45/394.90	unsat
